The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee masContains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Lee mas